Excursions Botaniques En Espagne (Mai-Juin 1883)

SOCIÉTÉ MATHÉMATIQUE DE FRANCE quatrième série - tome 43 fascicule 3 mai - juin 2010

Éditorial: Notre rassemblement de points de vue du pourtour de la Méditerranée en juin 1991

Bibliographie Juin 2008

An improved physico-chemical model of hybridization on high-density oligonucleotide microarrays .. 5 Comparison of Affymetrix GeneChip expression measures .................................................................... 5 Evaluation of methods for oligonucleotide array data via quantitative real-time PCR............................ 5 Gene expression levels assessed by oligonucleotide microa...

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...

Médecins érudits de Coray à Sigerist. Actes du colloque de Saint-Julien-en-Beaujolais (juin 1994)

The historiography of the history of medicine is still in its infancy, and these essays can thus all be commended for the new information they bring to bear on the lives if their subjects. They form a varied collection. Laennec, Sudhoff and Sigerist are familiar names to modem medical historians; Sprengel, de Renzi, Daremberg, and Haeser wrote major works, once standard and not entirely superse...